git mit bash